/*
 * @(#)Standards.java Jan 7, 2012 - 7:57:20 PM
 * 
 * Copyright 2011 Cin/UFPE/SPEED
 */
package speed2010.andreza.vspeed.util;

/**
 * @author <a href="mailto:andreza.lba@gmail.com">Andreza Leite</a>
 */
public interface Standards {
	// Ontology tree
	public static final String CONCEPTUNICODE = "\u00A9";
	public static final String MARKERUNICODE = "\u2022";

	// DL constructors
	public static final String OR_UNICODE = "\u2294";
	public static final String AND_UNICODE = "\u2293";
	public static final String FORALL_UNICODE = "\u2200";
	public static final String EXISTSU_NICODE = "\u2203";
	public static final String NOT_UNICODE = "\u00ac";

	// General Unicode
	public static final String SPACE = "\u0020";

	// Ontology xml elements
	public static final String RIGHT_BRACKET = "]";
	public static final String LEFT_BRACKET = "[";
	public static final String GREATER_THAN = ">";
	public static final String LOWER_THAN = ">";
	public static final String DASH = "#";

	public static final int TIME_RECOVERY_TOPOLOGY = 2000;
}
